
/**
 * inv:
 * not (isFinal and isInitial)
 * State.allInstances()->select(isInitial).size() = 1
 */
public class State {

	private String name;
	private boolean isFInal;
	private boolean isInitial;

}